baddefaultxsc.err line 7: switch default statement in inappropriate scope.
